Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 1119 results
Sort by: relevance publication year
Showing results for ISSN matching 0934-5043

Refinement of a typed WAM extension by polymorphic order-sorted types

JOURNAL ARTICLE published September 1996 in Formal Aspects of Computing

Authors: Christoph Beierle | Egon Börger

https://doi.org/10.1007/bf01211908 Actions

A tableau-based decision procedure for CTL*

JOURNAL ARTICLE published November 2011 in Formal Aspects of Computing

Authors: Mark Reynolds

https://doi.org/10.1007/s00165-011-0193-4 Actions

Testing Algebraic Data Types and Processes: A Unifying Theory

JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing

Authors: Marie-Claude Gaudel | Perry R. James

https://doi.org/10.1007/s001650050026 Actions

The Development and Deployment of Formal Methods in the UK

JOURNAL ARTICLE published 31 March 2022 in Formal Aspects of Computing

Research funded by Leverhulme Foundation (RPG-2019-020)

Authors: Cliff B. Jones | Martyn Thomas

https://doi.org/10.1145/3522577 Actions

The Concept of Class Invariant in Object-oriented Programming

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Authors: Bertrand Meyer | Alisa Arkadova | Alexander Kogtenkov

https://doi.org/10.1145/3626201 Actions

Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Research funded by Österreichische Forschungsförderungsgesellschaft (880852)

Authors: Bernhard K. Aichernig | Martin Tappler | Felix Wallner

https://doi.org/10.1145/3605360 Actions

Building program construction and verification tools from algebraic principles

JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing

Authors: Alasdair Armstrong | Victor B. F. Gomes | Georg Struth

https://doi.org/10.1007/s00165-015-0343-1 Actions

Denotational semantics of channel mobility in UTP-CSP

JOURNAL ARTICLE published August 2021 in Formal Aspects of Computing

Authors: Gerard Ekembe Ngondi

https://doi.org/10.1007/s00165-021-00546-3 Actions

Dynamic role authorization in multiparty conversations

JOURNAL ARTICLE published July 2016 in Formal Aspects of Computing

Research funded by European Cooperation in Science and Technology (IC1201) | Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (ON174026 and III44006)

Authors: Silvia Ghilezan | Svetlana Jakšić | Jovanka Pantović | Jorge A. Pérez | Hugo Torres Vieira

https://doi.org/10.1007/s00165-016-0363-5 Actions

Efficient data validation for geographical interlocking systems

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Research funded by Deutche Forchungsgemeinschaft (407708394)

Authors: Jan Peleska | Niklas Krafczyk | Anne E. Haxthausen | Ralf Pinger

https://doi.org/10.1007/s00165-021-00551-6 Actions

A data-flow approach to test multi-agent ASMs

JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing

Authors: Alessandra Cavarra

https://doi.org/10.1007/s00165-009-0134-7 Actions

The data type of spatial objects

JOURNAL ARTICLE published March 2013 in Formal Aspects of Computing

Authors: Kenneth Johnson | John V. Tucker

https://doi.org/10.1007/s00165-011-0182-7 Actions

A model checking-based approach for security policy verification of mobile systems

JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing

Authors: Chiara Braghin | Natasha Sharygina | Katerina Barone-Adesi

https://doi.org/10.1007/s00165-010-0159-y Actions

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

JOURNAL ARTICLE published August 2018 in Formal Aspects of Computing

Authors: Ling Shi | Yongxin Zhao | Yang Liu | Jun Sun | Jin Song Dong | Shengchao Qin

https://doi.org/10.1007/s00165-018-0453-7 Actions

A tale of two graph models: a case study in wireless sensor networks

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/N007565/1) | Engineering and Physical Sciences Research Council (EP/S045362/1) | Deutsche Forschungsgemeinschaft (Project A1 within CRC 1053-MAKI)

Authors: Blair Archibald | Géza Kulcsár | Michele Sevegnani

https://doi.org/10.1007/s00165-021-00558-z Actions

Tight Error Analysis in Fixed-point Arithmetic

JOURNAL ARTICLE published 31 March 2022 in Formal Aspects of Computing

Research funded by MIUR (PRIN 2017TWRCNB SEDUCE, and PRIN 2017FTXR7S IT-MATTERS)

Authors: Stella Simić | Alberto Bemporad | Omar Inverso | Mirco Tribastone

https://doi.org/10.1145/3524051 Actions

Compositional Analysis of Probabilistic Timed Graph Transformation Systems

JOURNAL ARTICLE published 30 September 2023 in Formal Aspects of Computing

Authors: Maria Maximova | Sven Schneider | Holger Giese

https://doi.org/10.1145/3572782 Actions

GPU-accelerated steady-state computation of large probabilistic Boolean networks

JOURNAL ARTICLE published 12 February 2019 in Formal Aspects of Computing

Research funded by Luxembourg National Research Fund (AFR 7814267)

Authors: Andrzej Mizera | Jun Pang | Qixia Yuan

https://doi.org/10.1007/s00165-018-0470-6 Actions

A logic for reasoning about time and reliability

JOURNAL ARTICLE published September 1994 in Formal Aspects of Computing

Authors: Hans Hansson | Bengt Jonsson

https://doi.org/10.1007/bf01211866 Actions

Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains

JOURNAL ARTICLE published 17 May 2024 in Formal Aspects of Computing

Authors: Yucheng Sun | Ruomu Hou | Haifeng Yu

https://doi.org/10.1145/3665338 Actions
Feedback: support@crossref.org